Go to content
- {{#headlines}}
- {{title}} {{/headlines}}
Profile
| Academic position | Full Professor |
|---|---|
| Research fields | Numerical Analysis, Optimization, Simulation |
| Keywords | quantum computation and quantum information, formal methods, artifical intelligence, logics in computer science |
Current contact address
| Country | People's Republic of China |
|---|---|
| City | Beijing |
| Institution | Tsinghua University |
| Institute | Department of Computer Science and Technology |
Host during sponsorship
| Prof. Dr. Martin Wirsing | Institut für Informatik, Ludwig-Maximilians-Universität München (LMU), München |
|---|---|
| Prof. Dr. Mila Majster-Cederbaum | Lehrstuhl für Praktische Informatik II, Universität Mannheim, Mannheim |
| Start of initial sponsorship | 01/06/1999 |
Programme(s)
| 1998 | Humboldt Research Fellowship Programme |
|---|